Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 9, 11, 12, 14, 15, 16, 17, 18, 19 }

B grade: { }

C grade: { 1, 2, 3, 4, 5, 6, 7, 8, 10, 13 }

F grade: { }

2.1.3 Maple

A grade: { 4, 11, 12, 15, 16, 17, 18, 19 }

B grade: { 1, 2, 3, 5, 6, 7, 8, 9, 10, 13, 14 }

C grade: { }

F grade: { }

2.1.4 Maxima

A grade: { 15, 16, 17, 18, 19

B grade: { }

C grade: { }

F grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14 }

2.1.5 FriCAS

A grade: { 9, 11, 12, 15, 16, 17, 18, 19 }

B grade: { 1, 2, 3, 4, 5, 10, 14 }

C grade: { }

F grade: { 6, 7, 8, 13 }

2.1.6 Sympy

A grade: { 11, 15, 16, 17, 18, 19 }

B grade: { }

C grade: { }

F grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14 }

2.1.7 Giac

A grade: { 9, 11, 12, 14, 15, 16, 17, 18, 19 }

B grade: { }

C grade: { }

F grade: { 1, 2, 3, 4, 5, 6, 7, 8, 10, 13 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac{\text{antiderivative leaf size}}{\text{optimal antiderivative leaf size}}\)










Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F(-1) B F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 323 323 410 1181 0 16731 0 0
normalized size 1 1. 1.27 3.66 0. 51.8 0. 0.
time (sec) N/A 3.129 1.312 0.188 0. 36.328 0. 0.


















Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F(-1) B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 298 298 358 890 0 13118 0 0
normalized size 1 1. 1.2 2.99 0. 44.02 0. 0.
time (sec) N/A 3.741 0.94 0.157 0. 17.505 0. 0.


















Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F(-1) B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 253 253 310 638 0 9789 0 0
normalized size 1 1. 1.23 2.52 0. 38.69 0. 0.
time (sec) N/A 1.038 0.61 0.146 0. 8.881 0. 0.


















Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 226 226 268 216 0 7050 0 0
normalized size 1 1. 1.19 0.96 0. 31.19 0. 0.
time (sec) N/A 0.548 0.695 0.133 0. 4.928 0. 0.


















Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 221 221 233 610 0 7071 0 0
normalized size 1 1. 1.05 2.76 0. 32. 0. 0.
time (sec) N/A 0.397 0.541 0.141 0. 4.952 0. 0.


















Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F(-1) F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 244 244 306 849 0 0 0 0
normalized size 1 1. 1.25 3.48 0. 0. 0. 0.
time (sec) N/A 0.762 1.317 0.17 0. 0. 0. 0.


















Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F(-1) F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 271 271 388 1087 0 0 0 0
normalized size 1 1. 1.43 4.01 0. 0. 0. 0.
time (sec) N/A 0.895 1.316 0.187 0. 0. 0. 0.


















Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F(-1) F(-1) F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 331 331 481 1369 0 0 0 0
normalized size 1 1. 1.45 4.14 0. 0. 0. 0.
time (sec) N/A 3.21 1.633 0.184 0. 0. 0. 0.


















Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 73 143 0 670 0 105
normalized size 1 1. 0.96 1.88 0. 8.82 0. 1.38
time (sec) N/A 0.142 0.115 0.179 0. 2.91 0. 1.268


















Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F(-1) B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 230 230 314 1246 0 1983 0 0
normalized size 1 1. 1.37 5.42 0. 8.62 0. 0.
time (sec) N/A 0.585 0.459 0.163 0. 2.854 0. 0.


















Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 35 35 35 36 0 335 99 47
normalized size 1 1. 1. 1.03 0. 9.57 2.83 1.34
time (sec) N/A 0.045 0.014 0.121 0. 2.131 4.104 1.167


















Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 128 128 119 224 0 1096 0 177
normalized size 1 1. 0.93 1.75 0. 8.56 0. 1.38
time (sec) N/A 0.175 0.23 0.135 0. 7.884 0. 1.142


















Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F(-1) F(-1) F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 324 324 407 1934 0 0 0 0
normalized size 1 1. 1.26 5.97 0. 0. 0. 0.
time (sec) N/A 2.268 0.972 0.168 0. 0. 0. 0.


















Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 206 206 202 549 0 2766 0 509
normalized size 1 1. 0.98 2.67 0. 13.43 0. 2.47
time (sec) N/A 0.5 0.745 0.152 0. 55.724 0. 1.149


















Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 15 16 20 66 15 23
normalized size 1 1. 0.71 0.76 0.95 3.14 0.71 1.1
time (sec) N/A 0.026 0.009 0.052 0.945 1.372 0.224 1.148


















Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 26 14 18 55 12 23
normalized size 1 1. 1.53 0.82 1.06 3.24 0.71 1.35
time (sec) N/A 0.027 0.056 0.056 0.96 1.358 0.21 1.151


















Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 30 16 20 61 15 23
normalized size 1 1. 1.43 0.76 0.95 2.9 0.71 1.1
time (sec) N/A 0.028 0.047 0.062 0.957 1.384 0.233 1.124


















Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 9 9 9 6 7 27 5 7
normalized size 1 1. 1. 0.67 0.78 3. 0.56 0.78
time (sec) N/A 0.029 0.01 0.048 1.424 1.398 0.255 1.105


















Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 5 5 5 6 7 27 5 7
normalized size 1 1. 1. 1.2 1.4 5.4 1. 1.4
time (sec) N/A 0.026 0.009 0.046 1.453 1.499 0.257 1.169









2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac{\text{number of rules}}{\text{integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [8] had the largest ratio of [ 0.4737 ]

Table 2.1Rubi specific breakdown of results for each integral














# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac{\text{number of rules}}{\text{integrand leaf size}}\)







1 A 12 8 1. 19 0.421







2 A 10 6 1. 19 0.316







3 A 9 5 1. 19 0.263







4 A 8 4 1. 17 0.235







5 A 7 4 1. 14 0.286







6 A 10 6 1. 17 0.353







7 A 12 8 1. 19 0.421







8 A 14 9 1. 19 0.474







9 A 7 6 1. 19 0.316







10 A 9 5 1. 19 0.263







11 A 3 3 1. 17 0.176







12 A 9 8 1. 17 0.471







13 A 11 6 1. 19 0.316







14 A 10 9 1. 19 0.474







15 A 4 3 1. 13 0.231







16 A 4 3 1. 15 0.2







17 A 4 3 1. 15 0.2







18 A 3 3 1. 15 0.2







19 A 3 3 1. 15 0.2